Code generation - PDFSEARCH.IO - Document Search Engine

Code generation
Results: 433

#	Item
151	Microsoft Word - CBEAll.doc Add to Reading List Source URL: www.dbnet.ece.ntua.gr Language: English - Date: 2005-12-08 10:50:18 Procedural programming languages Compiler construction Formal languages Compiler Code generation Syntax Parsing Programming language Pascal Software engineering Computing Computer programming
152	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
153	Reliability Digest, NovemberExploit Generation from Software Failures Shih-Kun Huang Information Technology Service Center National Chiao Tung University Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2014-11-17 21:02:54 Automated theorem proving Concolic testing Symbolic execution Reliability engineering KeY Code injection Function Mathematics Formal methods Systems engineering
154	CHCI White Paper DEVELOPING THE NEXT GENERATION OF LATINO LEADERS® April 2015 Accessing Government Contracts and Developing the U.S. Economy: Leveling the Playing Field for Add to Reading List Source URL: www.chci.org Language: English - Date: 2015-04-07 10:24:13 Code of Federal Regulations Federal Acquisition Regulation Government procurement Government procurement in the United States HUBZone Minority business enterprise Minority Business Development Agency Public administration Florida Minority Supplier Development Council Small Business Administration Business Government
155	Delft University of Technology Software Engineering Research Group Technical Report Series Code Generation by Model Transformation. A Case Study in Add to Reading List Source URL: swerl.tudelft.nl Language: English - Date: 2008-03-31 16:38:20 Programming language theory Stratego/XT Program transformation List comprehension C Computing Software engineering Transformation languages
156	Butler Group Subscription Services [CODE N Technology Audit Add to Reading List Source URL: www.teleware.com Language: English - Date: 2008-05-01 09:24:39 Videotelephony Computer telephony integration Broadband Voice over IP Session Initiation Protocol Aculab Business telephone system Voice-mail Next-generation network Telephony Electronic engineering Electronics
157	Inside A Compiler Jonathan Worthington Compiler Hacker Rakudo Perl 6 core developer Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:24 Cross-platform software Perl 6 Procedural programming languages Formal languages Rakudo Perl 6 Perl Compiler Code generation Parse tree Software Computing Compiler construction
158	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2014-01-05 02:30:19 Procedural programming languages Data types Lambda calculus C++ Functional programming ALGOL 68 Generator List comprehension Type system Software engineering Computing Computer programming
159	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-03-08 07:11:20 Type theory Functional languages Functional programming Data types Program analysis Type system Higher-order abstract syntax Haskell OCaml Software engineering Computing Computer programming
160	Datasheet DFTMAX Ultra Compression for Highest Test Quality and Lowest Test Cost Overview Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:32:25 Integrated circuits Electronic design Software testing Automatic test pattern generation Scan chain Code coverage Automatic test equipment Fault coverage Electronic engineering Electronics Electronic design automation

UPDATE